#include "stm32f4xx.h"

void Ethernet_init(void);
